Theorem on friends and strangers